TROvE: a Graphical Tool to Evaluate OWL Reasoners
نویسندگان
چکیده
In this paper we present TROvE (Tool for Rapid OWL Reasoner Evaluation), a tool aimed to offer to a non-expert user the possibility to evaluate OWL reasoners on several reasoning tasks by means of a simple “push-button” solution.
منابع مشابه
PROSE: A Plugin-Based Paraconsistent OWL Reasoner
The study of paraconsistent reasoning with ontologies is especially important for the Semantic Web since knowledge is not always perfect within it. Quasi-classical semantics is proven to rationally draw more meaningful conclusions even from an inconsistent ontology with the stronger inference power of paraconsistent reasoning. In our previous work, we have conceived a quasi-classical framework ...
متن کاملEvaluating Reasoners Under Realistic Semantic Web Conditions
Evaluating the performance of OWL Reasoners on ontologies is an ongoing challenge. LUBM and UOBM are benchmarks to evaluate Reasoners by using a single ontology. They cannot effectively evaluate systems intended for multi-ontology applications with ontology mappings, nor can they evaluate OWL 2 applications and generate data approximating realistic Semantic Web conditions. In this paper we exte...
متن کاملTools for Pattern-Based Transformation of OWL Ontologies
The high expressivity of the OWL ontology language often allows to express the same conceptualisation in different ways. A simple example is the difference between ‘class-centric’ and ‘property-centric’ modelling style, such that the same notion is modelled as a class in the former (e.g. ‘Purchase’) and an object property in the latter (e.g. ‘bought from’). Such heterogeneity is an obstacle to ...
متن کاملA Feasibility Study on the Validation of Domain Specific Languages Using OWL 2 Reasoners
In this article we report on our experiences using the OWL 2 reasoners HermiT and Pellet to validate domain-specific languages defined using UML-like metamodels. Currently there exists few tools to validate metamodels. Using ontologies and reasoners to define and validate metamodels is a possible solution to this problem. We evaluate the reasoners according to expressiveness, correctness, perfo...
متن کاملA Family History Knowledge Base in OWL 2
This paper presents a challenging Family History Knowledge Base (FHKB) authored in OWL 2 DL. Originally, the FHKB was designed to act as a tool for education, especially about OWL 2’s features and the use of automated reasoners. As a result, the FHKB has been constructed to maximise use of inference. For individuals representing people, only genealogical assertions on parentage and sparse asser...
متن کامل